Program verification - fundamental issues in computer science
- Författare
- (Edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Press | 1993 | Nederländerna, Dordrecht | 457 sidor. : ill. | 0-7923-1965-6 |